1. first proof